Stability of algebraic non-equilibrium second-order closure models
نویسندگان
چکیده
منابع مشابه
Second-order algebraic theories
Fiore and Hur [10] recently introduced a conservative extension of universal algebra and equational logic from first to second order. Second-order universal algebra and second-order equational logic respectively provide a model theory and a formal deductive system for languages with variable binding and parameterised metavariables. This work completes the foundations of the subject from the vie...
متن کاملOn the stability of linear differential equations of second order
The aim of this paper is to investigate the Hyers-Ulam stability of the linear differential equation$$y''(x)+alpha y'(x)+beta y(x)=f(x)$$in general case, where $yin C^2[a,b],$ $fin C[a,b]$ and $-infty
متن کاملClosure conditions for non-equilibrium multi-component models
A class of non-equilibrium models for compressible multi-component fluids in multi-dimensions is investigated taking into account viscosity and heat conduction. These models are subject to the choice of interfacial pressures and interfacial velocity as well as relaxation terms for velocity, pressure, temperature and chemical potentials. Sufficient conditions are derived for these quantities tha...
متن کاملPrimordial Black Holes from Non–equilibrium Second Order Phase Transition
The collapse of sufficiently large closed domain wall produced during second order phase transition in the vacuum state of a scalar field can lead to the formation of black hole. The origin of domain walls with appropriate size and energy density could be a result of evolution of an effectively massless scalar field at the inflational epoch. We demonstrate that in this case the situation is val...
متن کاملFunctorial Semantics of Second-Order Algebraic Theories
The purpose of this work is to complete the algebraic foundations of second-order languages from the viewpoint of categorical algebra as developed by Lawvere. To this end, this paper introduces the notion of second-order algebraic theory and develops its basic theory. A crucial role in the definition is played by the second-order theory of equality M, representing the most elementary operators ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Ocean Modelling
سال: 2001
ISSN: 1463-5003
DOI: 10.1016/s1463-5003(00)00016-0